From 12870113789cbb863f263125d4f4c16d4b14d4ee Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Tue, 3 Apr 2012 18:14:02 +0200 Subject: [PATCH] Profiling is now available in native code --- debian/ocaml-nox.install.in | 3 +++ 1 file changed, 3 insertions(+) diff --git a/debian/ocaml-nox.install.in b/debian/ocaml-nox.install.in index 5f7932d7..481e33c1 100644 --- a/debian/ocaml-nox.install.in +++ b/debian/ocaml-nox.install.in @@ -15,6 +15,7 @@ debian/native-archs @OCamlStdlibDir@ OPT: usr/bin/ocamlbuild.native OPT: usr/bin/ocamlopt +OPT: usr/bin/ocamloptp @OCamlStdlibDir@/stdlib.cma @OCamlStdlibDir@/toplevellib.cma @OCamlStdlibDir@/dynlink.cma @@ -124,6 +125,7 @@ OPT: @OCamlStdlibDir@/libthreadsnat.a usr/share/man/man3/Weak.Make.3o usr/share/man/man3/Weak.S.3o OPT: usr/share/man/man1/ocamlopt.1 +OPT: usr/share/man/man1/ocamloptp.1 usr/share/man/man1/ocamlprof.1 usr/share/man/man1/ocamlc.1 usr/share/man/man1/ocamldep.1 @@ -254,6 +256,7 @@ STD: printf.mli STD: printf.cmx STD: profiling.cmi STD: profiling.cmo +STD: profiling.cmx STD: queue.ml STD: queue.mli STD: queue.cmx -- 2.30.2